Natural topology

Results: 107



#Item
31Proof theory / Deduction / Algebraic topology / Curry–Howard correspondence / Philosophy of computer science / Type theory / Entailment / Sheaf / Natural deduction / Logic / Abstract algebra / Mathematics

Propositions as [Types] Steve Awodey∗ Andrej Bauer† Institut Mittag-Leffler

Add to Reading List

Source URL: andrej.com

Language: English - Date: 2010-06-11 17:17:44
32Graph / Graph theory / Clique complex / Independent Subway System / G / Mathematics / Combinatorics / Algebraic topology

Natural splittings of independence complexes Michal Adamaszek Warwick Mathematics Institute and DIMAP WATACBA November 2011

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2014-10-30 10:03:19
33Category theory / Algebraic topology / Functor / Operad theory / Homotopy / Sheaf / Natural transformation / Category / Equivalence of categories / Abstract algebra / Algebra / Mathematics

Topology – 368 www.elsevier.com/locate/top Innite loop space structure(s) on the stable mapping class group Nathalie Wahl

Add to Reading List

Source URL: www.math.ku.dk

Language: English - Date: 2006-09-14 09:07:54
34Algebraic topology / Homology theory / Differential topology / Mathematical physics / Simplex / Out / Homology / CW complex / Natural transformation / Topology / Abstract algebra / Mathematics

Algebraic & Geometric Topology–Erratum to: Homology stability for outer automorphism groups of free groups

Add to Reading List

Source URL: www.math.ku.dk

Language: English - Date: 2006-06-05 04:15:28
35Algebraic topology / Category theory / Monoidal categories / Hochschild homology / Ring theory / Frobenius algebra / Functor / Cohomology / Universal property / Abstract algebra / Algebra / Homological algebra

UNIVERSAL OPERATIONS IN HOCHSCHILD HOMOLOGY NATHALIE WAHL Abstract. We provide a general method for finding all natural operations on the Hochschild complex of E-algebras, where E is any algebraic structure encoded in a

Add to Reading List

Source URL: www.math.ku.dk

Language: English - Date: 2014-03-11 09:42:38
36Mathematics / Linear filters / Filter / General topology / Order theory / Type system / Natural deduction / Kalman filter / Electronic engineering / Filter theory / Electronics

Typed Iterators for XML ∗ Giuseppe Castagna Kim Nguyễn PPS (CNRS) - Université Paris 7 - Paris, France

Add to Reading List

Source URL: www.lri.fr

Language: English - Date: 2010-10-14 05:33:04
37Monoidal categories / Algebraic topology / Functors / Cartesian closed category / Lambda calculus / Product / Morphism / Natural transformation / Topological quantum field theory / Category theory / Abstract algebra / Algebra

Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay

Add to Reading List

Source URL: math.ucr.edu

Language: English - Date: 2012-06-26 12:58:42
38Piping / Physics / Building engineering / Engineering / Building biology / Topology / Natural ventilation / Airflow / Ventilation / Heating /  ventilating /  and air conditioning / Fluid dynamics / Fluid mechanics

Microsoft Word - p205_final.doc

Add to Reading List

Source URL: www.sbi.dk

Language: English - Date: 2012-11-14 17:41:18
39Sheaf theory / Algebraic topology / Functors / Homological algebra / Sheaf / Topos / Grothendieck topology / Natural transformation / Simplicial set / Abstract algebra / Category theory / Topology

SIMPLICIAL SPACES Contents 1. Introduction 2. Simplicial topological spaces 3. Simplicial sites and topoi

Add to Reading List

Source URL: stacks.math.columbia.edu

Language: English - Date: 2015-04-15 15:09:21
40Symplectic topology / String theory / Moduli theory / Complex manifolds / Gromov–Witten invariant / Stable map / Moduli space / Resolution of singularities / Projective space / Geometry / Abstract algebra / Algebraic geometry

A natural smooth compactification of the space of elliptic curves in projective space via blowing up the space of stable maps Ravi Vakil and Aleksey Zinger The moduli space of stable maps Mg,k (X, β) to a complex projec

Add to Reading List

Source URL: math.stanford.edu

Language: English - Date: 2006-07-13 09:52:48
UPDATE